Verification of Transaction Level models with Simulation Accelerator
نویسندگان
چکیده
Recently, transaction level modeling (TLM) has been widely referred to in system level design community. Due to lower modeling effort yet higher simulation speed, transaction level models are useful for architectural exploration, algorithmic evaluation, hardware-software partitioning and software development. However, TLM can’t be widely applicable to IP level design phase, because the simulation speed, one of the key merits of TLM, is slowed down where design is progressed. The simulation speed is dependant upon the abstraction level. Higher abstraction level makes faster simulation speed possible. In the IP level design phase, transaction level IP is substituted by lower abstraction level IP such as RTL IP. The conventional method of mixed level simulation is using transaction level simulator and HDL simulator. This two simulator is connected with IPC (inter process communication). But the whole simulation speed of this method is restricted by the speed of HDL simulation. This paper focuses on the methodology to increase the whole simulation speed of mixed level simulation between lower abstraction level IP and transaction level IP. For this acceleration, we approached the hardware-based simulation accelerator. We connected TLM to simulation accelerator instead of HDL simulator.
منابع مشابه
Accelerating SystemVerilog UVM Based VIP to Improve Methodology for Verification of Image Signal Processing Designs Using HW Emulator
In this paper we present the development of Acceleratable UVCs from standard UVCs in System Verilog and their usage in UVM based Verification Environment of Image Signal Processing designs to increase run time performance. This paper covers development of Acceleratable UVCs from standard UVCs for internal control and data buses of ST imaging group by partitioning of transaction-level components...
متن کاملRuntime Verification of Transaction Level SystemC Models using an Aspect-based Approach
With the increasing complexity of today’s system-on-chip (SoC) designs, taking advantage of transaction level modeling (TLM) is being more widespread. TLM allows better simulation performances and early system prototyping. Therefore, the quality of a transaction level model needs to be assured. In this paper, we present a fully automated runtime verification framework for the assertion-based ve...
متن کاملFormalizing TLM with Communicating State Machines
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the main reasons for the success of TLMs. While modeling flexibility is desirable for the TLM designer, it generates problems during analysis and verification of the model. In this paper we formalize the notion of Transaction...
متن کاملMulti-Core Simulation of Transaction Level Models using the System-on-Chip Environment
Effective Electronic System-Level (ESL) design frameworks transform and refine high-level designs into various transaction level models described in C-based System-level Description Languages (SLDLs) and rely on simulation for validation. However, the traditional cooperative Discrete Event (DE) simulation of SLDLs is not effective and cannot utilize any existing parallelism in todays’ multi-cor...
متن کاملA Monte Carlo simulation and dosimetric verification of physical wedges used in radiation therapy
Background: The presence of a wedge filter in the beam trajectory can modify the beam quality and cause some changes in the dosimetry parameters which are usually difficult to be measured directly and accurately. Material and Methods: In this study the MCNP-4C Monte Carlo code was used to simulate the 9 MV photon beam generated by a linear accelerator. Upon getting a good agreement bet...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005